cd ssolver
sh clean.sh
cd ..
rm *.o *.cmi *.cmx spichecker spilexer.ml spiparser.ml spiparser.mli spiparser.output
